λ Functional Programming - jinkai_lau · Scour

Finite Functional Programming 🔤Type Systems

Functional Programming in Lean - Functional Programming in Lean 🔍Static Analysis

leanprover.github.io·2d·Hacker News

On Lisp: A review of Paul Graham's 1993 book 🔤Type Systems

alexvear.com·3d·Hacker News

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 🔤Type Systems

youtube.com·6h

Clojure on Fennel part three: parsing 🗣️New Languages

andreyor.st·2d·Hacker News

I built a free TypeScript quiz website with 125 questions and levels 🔤Type Systems

ts-quiz.com·2h·DEV

Functional Programmers need to take a look at Zig. 🗣️New Languages

pure-systems.org·18h·Lobsters, Hacker News, Hacker News

applications of (higher) category theory in nLab 🔤Type Systems

ncatlab.org·4d

Why I Still Reach for Lisp and Scheme Instead of Haskell 🔧Compilers

jointhefreeworld.org·1d·Lobsters, Hacker News, r/functionalprogramming, r/programming

Document type inference 🔤Type Systems

github.com·15h

How to Move from AI Experimentation to AI Transformation 🤖AI Engineering

·1h

Breaking ten years of API compatibility 🗣️New Languages

futhark-lang.org·1d·Lobsters

Why I still reach for Lisp and Scheme instead of Haskell 🗣️New Languages

news.ycombinator.com·11h·Hacker News

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics ✅Formal Verification

lispy-gopher-show.itch.io·3d

Tries for Polynomials ✅Formal Verification

doisinkidney.com·2d·Lobsters

Build a JSON Parser in Rust from Scratch 🦀Rust

blog.sheerluck.dev·6h

Clash: Clash Language Homepage 🗣️New Languages

clash-lang.org·5d

Yukari Hafner: On Lisp, LLMs, and Community 🗣️New Languages

reader.tymoon.eu·20h

Clojure Deref (Apr 28, 2026) 🗣️New Languages

clojure.org·2d

Clojure us the future of AI coding, but you won't use it 🤖AI Engineering

latypoff.com·18h·Hacker News

Log in to enable infinite scrolling